Distribution in a Demand Driven Style

In this paper we present a model of distribution as a natural consequence of deterministic concurrency; a purely declarative form of concurrency that preserves referential transparency. This extends the demand driven model used as the operational basis of functional languages, into one with multiple independent demands without the need to allow non-determinism to appear at the user level. The abstract model of this distributed system uses a uniform access memory model in order to provide a global memory view. This, combined with explicit thread based concurrency and explicit representation of demand enables the trustable distribution of reactive systems across di erent systems. Since referential transparency is preserved, any pattern of distribution has no e ect on the semantics of the functional program. Computation, including both code and data, can be moved in response to demand. This suggests itself as a natural approach to facilitate mobile computation both as a conceptual and operational